" Marie-Claude Gaudel" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock

Категория: Компьютеры

4.56 Mb

#2

TAPSOFT'93: Theory and Practice of Software Development

Marie-Claude Gaudel, Jean-Pierre Jouannaud

Категория: Cs_Computer science, CsLn_Lecture notes

7.34 Mb

#3

FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ...

Marie-Claude Gaudel, James Woodcock

6.04 Mb